大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

0
索取号：
作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009

0
索取号：
作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings

0
索取号：
作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

0
索取号：
作者：Mart铆n-Vide、 Carlos.、Otto、 Friedrich.、Fernau、 Henning.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

0
索取号：
作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Complex Systems in Knowledge-based Environments: Theory, Models and Applications [electronic resource]

0
索取号：
作者：Tolk、 Andreas.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Learning Theory [electronic resource] : 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings

0
索取号：
作者：Freund、 Yoav.、Gy枚rfi、 L谩szl贸.、Tur谩n、 Gy枚rgy.、Zeugmann、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

0
索取号：
作者：Chaudron、 Michel R. V.、Szyperski、 Clemens.、Reussner、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Gauge Theory of Weak Interactions [electronic resource]

0
索取号：
作者：Greiner、 Walter.、M眉ller、 Berndt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

0
索取号：
作者：Kapur、 Deepak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Computing [electronic resource] : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

0
索取号：
作者：Taubenfeld、 Gadi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithms - ESA 2008 [electronic resource] : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings

0
索取号：
作者：Halperin、 Dan.、Mehlhorn、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II

0
索取号：
作者：Sun、 Fuchun.、Zhang、 Jianwei.、Tan、 Ying.、Cao、 Jinde.、Yu、 Wen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I

0
索取号：
作者：Sun、 Fuchun.、Zhang、 Jianwei.、Tan、 Ying.、Cao、 Jinde.、Yu、 Wen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Coding Theory and Applications [electronic resource] : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

0
索取号：
作者：Barbero、 脕ngela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Recent Advances in Intrusion Detection [electronic resource] : 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings

0
索取号：
作者：Lippmann、 Richard.、Kirda、 Engin.、Trachtenberg、 Ari.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.